141. Industrial and Engineering Applications of Artificial Intelligence and Expert Systems :
پدیدآورنده : edited by Fevzi Belli, Franz Josef Radermacher.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business.,Computer science.,Management science.
رده :
Q334
.
E358
1992
142. Inference on the Low Level
پدیدآورنده : by Hannes Leitgeb.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Genetic epistemology.,Logic.,Philosophy (General).
143. Intellectics and Computational Logic
پدیدآورنده : edited by Steffen Hölldobler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic.,Philosophy (General).
144. Intelligent Hybrid Systems
پدیدآورنده : edited by Da Ruan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.
145. Intelligent information and database systems :
پدیدآورنده : Ngoc Thanh Nguyen, Ford Lumban Gaol, Tzung-Pei Hong, Bogdan Trawiński (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Database management, Congresses.,Artificial intelligence.,Database management.
رده :
Q334
.
A85
2019
146. Intelligent systems / monograph.
پدیدآورنده : edited by Vladimir Mikhailovich Koleshko.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.
رده :
TP18
.
E358
2012
147. Introduction to Artificial Intelligence /
پدیدآورنده : by Wolfgang Ertel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Artificial Intelligence (incl. Robotics),Artificial intelligence.,Computer science.,Computer Science.,Artificial intelligence.,Computer science.
رده :
Q334-342
148. Introduction to artificial intelligence /
پدیدآورنده : Wolfgang Ertel ; translated by Nathanael Black ; with illustrations by Florian Mast.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Artificial Intelligence (incl. Robotics),Computer Science.,Artificial intelligence.
رده :
Q335
149. Introduction to artificial intelligence /
پدیدآورنده : Wolfgang Ertel ; translated by Nathanael Black ; with illustrations by Florian Mast.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Artificial intelligence.
رده :
Q335
.
E75513
2017
150. Justification logic :
پدیدآورنده : Sergei Artemov (Graduate Center, City University of New York), Melvin Fitting (Graduate Center, City University of New York).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.,Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.
رده :
QA9
.
A78
2019
151. KI-96 :
پدیدآورنده : Günther Görz, Steffen Hölldobler, (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Automatic theorem proving -- Congresses.,Knowledge representation (Information theory) -- Congresses.
152. KI 2018 :
پدیدآورنده : Frank Trollmann, Anni-Yasmin Turhan (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Special Purpose and Application-Based Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Expert systems / knowledge-based systems.,Public administration.
رده :
Q334
153. Knowledge Representation and Defeasible Reasoning
پدیدآورنده : edited by Henry E. Kyburg, Ronald P. Loui, Greg N. Carlson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic.
رده :
Q335
.
E358
1990
154. Knowledge Representation and Reasoning Under Uncertainty :
پدیدآورنده : edited by Michael Masuch, László Pólos.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer Science,Computer science.
رده :
Q387
.
E358
1994
155. Knowledge graphs and semantic web :
پدیدآورنده : Boris Villazón-Terrazas, Yusniel Hidalgo-Delgado (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Semantic computing, Congresses.,Semantic Web, Congresses.,Semantic computing.,Semantic Web.
رده :
QA76
.
5913
156. Knowledge representation and reasoning under uncertainty
پدیدآورنده : / Michael Masuch, Laaszlao Paolos, (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Knowledge representation (Information theory),Reasoning.,Uncertainty (Information theory)
رده :
Q
,
387
,.
K563
,
1994
157. Knowledge representation and reasoning under uncertainty : logic at work
پدیدآورنده : Michael Masuch, Laszlo Polos, )eds.(
کتابخانه: (طهران)
موضوع : ، Knowledge representation )Information theory(,، Reasoning,، Uncertainty )Information theory(
رده :
QA
76
.
L28
Vol
.
808
158. Knowledge science, engineering and management : 10th international conference, KSEM 2017, Melbourne, Vic, Australia, August 19-20, 2017, proceedings
پدیدآورنده : edited by Gang Li, Yong Ge, Zili Zhang, Zhi Jin, Michael Blumenstein
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Knowledge representation )Information theory( -- Congresses,، Knowledge acquisition )Expert systems( -- Congresses,، Knowledge management -- Congresses
رده :
QA
76
.
76
.
K77
2017
159. Legal knowledge and information systems :
پدیدآورنده : edited by Marie-Francine Moens and Peter Spyns.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Law-- Methodology-- Automation, Congresses.,Droit-- Méthodologie-- Informatique, Congrès.,Intelligence artificielle, Congrès.,Systèmes d'information-- Droit (Science), Congrès.,Artificial intelligence.,LAW-- Computer & Internet.,Law-- Methodology-- Automation.
رده :
K212
.
J874
2005eb
